#include "sys.h"

void uart_init();
void uart_putstr(uchar *str);
